automatic theorem proving - German English Dictionary